\begin{frame}
\frametitle{Conclusiones}
 \begin{itemize}
  \item Trabajo realizado:
  \begin{itemize}
   \item Desarrollo de una herramienta para la generación de casos de prueba para SQL.
   \item disponible en: http://gpd.sip.ucm.es/trac/gpd/wiki/GpdSystems/STCG
   \item Presentación de un artículo que extiende las ideas para subconsultas existenciales anidadas.
  \end{itemize}
  
  \item Aplicaciones:
  \begin{itemize}
   \item Pruebas de software de bases de datos.
   \item Complementos de herramientas ya existentes para la depuración.
   \item Población de bases de datos con datos correctos.
   \item Diferencias entre vistas SQL.
  \end{itemize}
  
  \item Trabajo futuro:
  \begin{itemize}
   \item Inclusión de consultas con agregados (GROUP BY), nuevos tipos de datos (string) y  tratamiento de elementos nulos.
   \item Ampliación de sintaxis SQL soportada.
   \item Integración con otras herramientas.
   \item Traducción a otros lenguajes de restricciones.
  \end{itemize}
  
 \end{itemize}

\end{frame}

%prototipo + link
%articulo

%aplicaciones: (test: tuya, depuracion SQL, poblacion de bases de datos, equivalencias)

%trabajo futuro: Agregados, tipos de datos, null, ampliar sintaxis, integración con otras herramientas, otros lenguajes de restricciones

